Видео ютуба по тегу Applied Category Theory

Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic
Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic
ACT2022 - Day 4
ACT2022 - Day 4
(Zwanziger) - Natural Model Semantics for Comonadic and Adjoint Modal Type Theory
(Zwanziger) - Natural Model Semantics for Comonadic and Adjoint Modal Type Theory
GReTA-ExACT session #3:
GReTA-ExACT session #3: "A categorical diagram editor to help formalising commutation proofs"
Rob Cornish: An introduction to Categorical Probability Theory
Rob Cornish: An introduction to Categorical Probability Theory
Joachim Kock: Whole-grain Petri nets and processes
Joachim Kock: Whole-grain Petri nets and processes
GEOTOP-A - John Baez - Compositional Modeling with Decorated Cospans
GEOTOP-A - John Baez - Compositional Modeling with Decorated Cospans
Brendan Fong: Partition Logic (Ellerman)
Brendan Fong: Partition Logic (Ellerman)
Category Theory - Lecture 1 Part 1
Category Theory - Lecture 1 Part 1
Bryce Clarke - The Algebraic Weak Factorisation System for Delta Lenses
Bryce Clarke - The Algebraic Weak Factorisation System for Delta Lenses
Paul Wilson: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
Paul Wilson: Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits
Edward Morehouse - Fox cartesian structure for Gray monoidal double categories
Edward Morehouse - Fox cartesian structure for Gray monoidal double categories
Adjoint School Message Passing Logic for Categorical Quantum Mechanics
Adjoint School Message Passing Logic for Categorical Quantum Mechanics
Session 14 CMPT898 -- Natural Transformations, Bridging Categorical & Functional Perspectives
Session 14 CMPT898 -- Natural Transformations, Bridging Categorical & Functional Perspectives
Session 4 CMPT 898-Programming w/Categories Lec4 -- Functors as Structure Preserving Maps 2
Session 4 CMPT 898-Programming w/Categories Lec4 -- Functors as Structure Preserving Maps 2
James Hefford - Optics for Premonoidal Categories
James Hefford - Optics for Premonoidal Categories
Daniel Cicala: Rewriting Structured Cospans
Daniel Cicala: Rewriting Structured Cospans
Free Monoids in Applied Category Theory
Free Monoids in Applied Category Theory
ACT 2021 - Day 4, Sessions 3 - 4
ACT 2021 - Day 4, Sessions 3 - 4
Overview&Introduction of CMPT898–Applied Category Theory for Functional Programming&Systems Science
Overview&Introduction of CMPT898–Applied Category Theory for Functional Programming&Systems Science
Launch of Applied Category Theory Discussion Group
Launch of Applied Category Theory Discussion Group
Nathaniel Virgo - Unifilar Machines and the Adjoint Structure of Bayesian Models
Nathaniel Virgo - Unifilar Machines and the Adjoint Structure of Bayesian Models
Simona Paoli:
Simona Paoli: "Simplicial delta versus fat delta in higher category theory"
SPLV 2024 - Applied Category Theory 3 (Jules Hedges)
SPLV 2024 - Applied Category Theory 3 (Jules Hedges)
(Behr) — Tracelets and Tracelet Analysis Of Compositional Rewriting Systems
(Behr) — Tracelets and Tracelet Analysis Of Compositional Rewriting Systems